POLY[3]

A polymorphic language used in Polymorphic Programming Languages, David M. Harland, Ellis Horwood, 1984.